#ifndef __I386_MACH_DEFAULT_H__
#define __I386_MACH_DEFAULT_H__

#include "i386/kernel/screen.h"
#include "linux/jiffies.h"

static inline int do_timer_overflow(int count) {
  int i;
  i = inb(0x20);
  // assumption about timer being IRQ 0
  if (i & 0x01) {
    count = -LATCH;
  } else {
    puts("I don't know!");
  }

  return count;
}

#endif // __I386_MACH_DEFAULT_H__
